A Covenant for Honouring Children

Colloquium and Workshop Honouring

s Andreas Abel: Normalization by Evaluation for Martin-Löf Type Theory The decidability of equality is proved for Martin-Löf type theory with a universe à la Russell and typed βη-equality judgements. A corollary of this result is that the constructor for dependent function types is injective, a property which is crucial for establishing the correctness of the type-checking algorithm. The decisi...

Patient-physician covenant.

Medicine is, at its center, a moral enterprise grounded in a covenant of trust. This covenant obliges physicians to be competent and to use their competence in the patient’s best interests. Physicians, therefore, are both intellectually and morally obliged to act as advocates for the sick wherever their welfare is threatened and for their health at all times. Today, this covenant of trust is si...

Toward a Covenant Theology of Science

This paper is born out of many years of thinking about the issues relating science and theology. I started out as an undergraduate, pondering such questions as those regarding the nature of physical law and the puzzle of why mathematics works in describing nature. Over the years of reflection, I have come to believe that if Christians are to take their faith seriously into the realm of science,...

The Marriage Covenant: A Model for Premarital Counseling

C ~C.DI! ..JI~ T}l-e'/'~~ L.D " I ; ,;' Ct 0',"" () , ]..L/ 1 44q ~ 1'1~:> 7 The purpose of this work is to redefine the concept of covenant and to describe the potential use of this framework as a tool in premarital counseling. First a review of current literature will explore contemporary marital theory and address issues impacting marital satisfaction and stability. A ideological framework f...

Honouring social accountability: a moral responsibility of the medical profession.